Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·20h
📋Souffle Datalog
WASM in the Kernel: Tales of Triumph and Trouble
riptides.io·10h·
Discuss: Hacker News
🌐WASM Runtimes
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·19h·
Discuss: DEV
🌳Pattern Match Compilation
why & how i learnt ML
abinesh-mathivanan.vercel.app·1d·
Discuss: r/programming
🔍ML Language
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·1d·
Discuss: Hacker News
🌲Tree Rewriting
A Generic Vector Implementation in C using void*, func*
github.com·8h·
Discuss: r/C_Programming
🪄C Metaprogramming
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·2d·
Discuss: Hacker News
🪜Recursive Descent
Key components of a data-driven agentic AI application | AWS Database Blog
aws.amazon.com·16h
🎭Erlang OTP
Functional correctness -- Haskell-ing your way to reliable code (hackover2024)
cdn.media.ccc.de·3h
⚡functional programming
What happened to Longcat models? Why are there no quants available?
huggingface.co·6h·
Discuss: r/LocalLLaMA
✨Gleam
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🎲Property Testing
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·1d·
Discuss: r/programming
🧠Memory Models
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·20h
📱Bytecode Design
State of the Art of AI Tools in Micro-Frontend Architectures • Luca Mezzalira • GOTO 2025
youtube.com·12h
💬Smalltalk VMs
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·8h·
Discuss: Hacker News
🗺️Region Inference
Behavior Best-of-N achieves Near Human Performance on Computer Tasks
lesswrong.com·1d
🏰Capability Machines
Adventures on the AI Coding side of things
medium.com·15h·
Discuss: Hacker News
🎭Program Synthesis
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·20h
🎲Parser Fuzzing
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔗Concatenative Theory
Simple hash map in C, for learning purpose
reddit.com·12h·
Discuss: r/C_Programming
🏷️Symbol Interning